K. L. Man

From MaRDI portal
Person:2368696

Available identifiers

zbMath Open man.ka-lokMaRDI QIDQ2368696

List of research outcomes





PublicationDate of PublicationType
Timed Chi: modeling, simulation and verification of hardware systems2017-03-29Paper
Relating hybrid chi to other formalisms2013-12-06Paper
Formal specification and analysis of hardware systems in timed Chi2009-01-15Paper
Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC)2009-01-07Paper
https://portal.mardi4nfdi.de/entity/Q57570922007-08-24Paper
Syntax and consistent equation semantics of hybrid Chi2006-04-28Paper
Formal Modeling and Analysis of Timed Systems2006-01-10Paper

Research outcomes over time

This page was built for person: K. L. Man

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2368696&oldid=6862522"
Powered by MediaWiki