Book Chapter10.1007/978-3-642-32469-7_11
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis
Luca Ferrucci,Dino Mandrioli,Angelo Morzenti,Matteo Rossi-2012-01-01-Lecture notes in computer science
4
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
Modular designComputer scienceMetric (unit)Temporal logicProgramming languageEngineeringOperations management
Chat
Click to start Chat