Model Checking Process Algebra of Communicating Resources for Real-time Systems

Jalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

466 Downloads (Pure)

2 resultater

Filter

Afsluttet
CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.
Artemis JU
01/06/2012 → 30/09/2015
Projekter: Projekt › Forskning
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.
Artemis JU
01/11/2011 → 31/10/2014
Projekter: Projekt › Forskning