Sortiert nach
Software and systems modeling, 2013-02, Vol.12 (1), p.5-9
2013
Link zum Volltext
Software and systems modeling, 2015-05, Vol.14 (2), p.669-683
2015
Link zum Volltext
Journal of functional programming, 2017-01, Vol.27, Article e22
2017
Link zum Volltext
Software Engineering and Formal Methods, p.190-195
Link zum Volltext
Lecture notes in computer science, 2006, p.201-220
2006
Link zum Volltext
Web Services and Formal Methods, p.46-60
Link zum Volltext
2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2019, p.70-76
- Bennaceur, Amel
- Ghezzi, Carlo
- Tei, Kenji
- Kehrer, Timo
- Weyns, Danny
- Calinescu, Radu
- Dustdar, Schahram
- Hu, Zhenjiang
- Honiden, Shinichi
- Ishikawa, Fuyuki
- Jin, Zhi
- Kramer, Jeffrey
- Litoiu, Marin
- Loreti, Michele
- Moreno, Gabriel
- Muller, Hausi
- Nenzi, Laura
- Nuseibeh, Bashar
- Pasquale, Liliana
- Reisig, Wolfgang
- Schmidt, Heinz
- Tsigkanos, Christos
- Zhao, Haiyan
2019
- Link zum Volltext
Formal Methods and Hybrid Real-Time Systems, p.521-538
Link zum Volltext
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings, 2003, p.167-176
2003
- Link zum Volltext
Fields of Logic and Computation, p.615-626
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Petri Nets
- Software Engineering
- Compilers
- Engineering
- Engineering, Electrical & Electronic
- Information Systems Applications
- Interpreters
- It In Business
- Programming Languages
- Programming Techniques
- Software Engineering/programming And Operating Systems
- Adaptation Models
- Adaptive Methods For Cps
- Analytical Models
- Applied Sciences
Kollektion
Zeitschrift / Serie