From Requirements to Verifiable Executable Models Using Rebeca
- 17 January 2021
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor ExperiencePublished by Springer Science and Business Media LLC ,2018
- An Ontological Approach to Elicit Safety RequirementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2017
- An ontological approach to identify the causes of hazards for safety-critical systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2017
- Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checkingInternational Journal on Software Tools for Technology Transfer, 2017
- A Survey of Active Object LanguagesACM Computing Surveys, 2017
- An ontological approach to hazard identification for safety-critical systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2017
- Modeling and efficient verification of wireless ad hoc networksFormal Aspects of Computing, 2017
- Uppaal SMC tutorialInternational Journal on Software Tools for Technology Transfer, 2015
- Cyber Physical Systems: Design ChallengesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Rebeca: Theory, Applications, and ToolsLecture Notes in Computer Science, 2007