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

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

498 Downloads (Pure)

Finished
CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A. (Project Participant), Larsen, K. G. (Project Participant), Nielsen, B. (Project Participant), David, A. (Project Participant), Nyman, U. (Project Participant), Mikučionis, M. (Project Participant), Olsen, P. (Project Participant), Boudjadar, J. (Project Participant) & Kim, J. H. (Project Participant)
Artemis JU
01/06/2012 → 30/09/2015
Project: Research
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B. (Project Participant), Larsen, K. G. (Project Participant), David, A. (Project Participant), Mikučionis, M. (Project Participant) & Skou, A. (Project Participant)
Artemis JU
01/11/2011 → 31/10/2014
Project: Research

Projects