搜索页_+Uppaal+translation

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Elsevier电子期刊(10)

在“Elsevier电子期刊”中，命中：10条，耗时：小于0.01 秒

在所有数据库中总计命中：34条

1.Comparing model checkers for timed UML activity diagrams

作者：Zamira Daw ; ^{zdaw@cs.umd.edu" class="auth_mail" title="E-mail the corresponding author} ; Rance Cleaveland ^{rance@cs.umd.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：Model checking ; UML activity diagrams ; UPPAAL ; SPIN ; NuSMV

刊名：Science of Computer Programming

出版年：2015

2.Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal

作者：Franco Cicirelli ^{f.cicirelli@deis.unical.it} ; Angelo Furfaro ^{a.furfaro@deis.unical.it} ; Libero Nigro ; ^{l.nigro@unical.it}

关键词：Modeling ; Timing constraints ; Real-time systems ; Schedulability analysis ; Time Stream Petri Nets ; Model checking ; Timed automata ; Uppaal

刊名：Applied Mathematics and Computation

出版年：2012

3.A Transformation Framework for the Compositional Interchange Format for Hybrid Systems

作者：D. Hendriks^* ; ^{d.hendriks@tue.nl" class="auth_mail" title="E-mail the corresponding author} ; R.R.H. Schiffelers^** ; ^{ramon.schiffelers@asml.com" class="auth_mail" title="E-mail the corresponding author} ; M. Hü ; fner^*** ; ^{martin.huefner@bci.tu-dortmund.de" class="auth_mail" title="E-mail the corresponding author} ; C. Sonntag^*** ; ^{christian.sonntag@bci.tu-dortmund.de" class="auth_mail" title="E-mail the corresponding author}

关键词：Compositional Interchange Format ; Model transformations ; Model exchange ; Hybrid systems ; Formal semantics ; Equation-based languages

刊名：IFAC-PapersOnLine

出版年：2011

4.Validation and verification of Web services choreographies by using timed automata

作者：M. Emilia Cambronero ; Gregorio Dí ; az ; Valentí ; n Valero ; Enrique Martí ; nez

关键词：Web services ; Choreographies ; WS-CDL ; Timed automata ; Formal models

刊名：Journal of Logic and Algebraic Programming

出版年：2011

5.Model-based system analysis using Chi and Uppaal: An industrial case study

作者：N.C.W.M. Braspenning ; E.M. Bortnik ; J.M. van de Mortel-Fronczak ; J.E. Rooda

关键词：Model-based integration and testing ; Model checking ; Chi ; Uppaal translation ; Industrial case study

刊名：Computers in Industry

出版年：2008

6.Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases

作者：Petur Olsen^a ; ^{petur@cs.aau.dk"" rel=""nofollow} ; Kim G. Larsen^a ; ^{kgl@cs.aau.dk"" rel=""nofollow} ; Arne Skou^a ; ^{ask@cs.aau.dk"" rel=""nofollow}

关键词：testing ; model checking ; abstraction ; model-based testing

刊名：Electronic Notes in Theoretical Computer Science

出版年：2010

7.Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems

作者：Robert Colvin ; Lars Grunske ; Kirsten Winter

关键词：Behavior Trees ; Real-time systems ; Timed automata ; Model checking ; Failure Mode and Effects Analysis (FMEA)

刊名：Journal of Systems and Software

出版年：2008

8.Structural translation from Time Petri Nets to Timed Automata

作者：Franck Cassez and Olivier H. Roux

刊名：Journal of Systems and Software

出版年：2006

9.TPAP: An algebra of preemptive processes for verifying real-time systems with shared resources

作者：Jé ; rô ; me Ermont ; Fré ; dé ; ric Boniol

刊名：Electronic Notes in Theoretical Computer Science

出版年：2002

10.Parking Can Get You There Faster: Model Augmentation to Speed up Real-Time Model Checking

作者：M.Oliver Mö ; ller

刊名：Electronic Notes in Theoretical Computer Science

出版年：2002

按检索点细分(10)

关键词(1)

文摘(9)

按出版年细分(10)

2015年(1)

2012年(1)

2011年(2)

2010年(1)

2008年(2)

2006年(1)

2002年(2)