1
af International Conference of Tools and Algorithms for the Construction and Analysis of Systems, Abdulla, Parosh Aziz., Leino, K. Rustan M.
Udgivet 2011.
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26...”Udgivet 2011.
Få fuldtekst
Livro
2
“... information systems - Defining adaptation constraints for business process variants - Process analysis...”
Få fuldtekst
Få fuldtekst
Livro
3
Analysis, architectures and modelling of embedded systems Third IFIP TC 10 International Embedded...
af IFIP TC10 Working Conference: International Embedded Systems Symposium, Rettberg, Achim
Udgivet 2009.
“... code generation tools - A configurable TLM of wireless sensor networks for fast exploration of system...”Udgivet 2009.
Få fuldtekst
Livro
4
New results in dependability and computer systems proceedings of the 8th international conference...
af International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Zamojski, Wojciech
Udgivet c2013
“...Advances in intelligent systems and computing...”Udgivet c2013
Få fuldtekst
Livro
5
af International Conference on Web Information Systems and Technologies, Cordeiro, José, Filipe, Joaquim
Udgivet 2010.
“... analysis of algorithm visualization use during collaborative learning - Modelling the B2C marketplace...”Udgivet 2010.
Få fuldtekst
Livro
6
Udgivet i Lecture Notes in Computer Science
(2023)
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...”Få fuldtekst
Livro
7
Udgivet i Lecture Notes in Computer Science
(2023)
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...”Få fuldtekst
Livro
8
9
Udgivet i Lecture Notes in Computer Science
(2019)
Fag:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”Få fuldtekst
Livro
10
11
Udgivet i Lecture Notes in Computer Science
(2019)
Fag:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”Få fuldtekst
Livro
12
13
14
15
Udgivet i Lecture Notes in Computer Science
(2022)
Fag:
“...system construction and transformation techniques...”Få fuldtekst
Livro
16
Udgivet i Lecture Notes in Computer Science
(2022)
Fag:
“...system construction and transformation techniques...”Få fuldtekst
Livro
17
18
19
20