Model checking process algebra of communicating resources for real-time systems

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

Research output: Working paper/Preprint › Working paper › Research

363 Downloads (Pure)

2 results

Filter

Finished
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
Project: Research
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
Project: Research