Sciweavers

15644 search results - page 227 / 3129
» Brittle System Analysis
Sort
View
FSEN
2009
Springer
15 years 10 months ago
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
AOSE
2006
Springer
15 years 10 months ago
Modeling Mental States in the Analysis of Multiagent Systems Requirements
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
Alexei Lapouchnian, Yves Lespérance