Sciweavers

28445 search results - page 577 / 5689
» Anatomically based modeling
Sort
View
RE
2002
Springer
15 years 4 months ago
Model Based Requirements Engineering for Embedded Software
Michael von der Beeck, Peter Braun 0003, Martin Ra...
RTS
2002
46views more  RTS 2002»
15 years 4 months ago
Scheduler Modeling Based on the Controller Synthesis Paradigm
Karine Altisen, Gregor Gößler, Joseph S...
66
Voted
TOIS
1998
61views more  TOIS 1998»
15 years 4 months ago
Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking
P. David Stotts, Richard Furuta, Cyrano Ruiz Cabar...