1
by International Conference of Tools and Algorithms for the Construction and Analysis of Systems, Abdulla, Parosh Aziz., Leino, K. Rustan M.
Published 2011.
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26...”Published 2011.
Get full text
Livro
2
“... information systems - Defining adaptation constraints for business process variants - Process analysis...”
Get full text
Get full text
Livro
3
Analysis, architectures and modelling of embedded systems Third IFIP TC 10 International Embedded...
by IFIP TC10 Working Conference: International Embedded Systems Symposium, Rettberg, Achim
Published 2009.
“... code generation tools - A configurable TLM of wireless sensor networks for fast exploration of system...”Published 2009.
Get full text
Livro
4
New results in dependability and computer systems proceedings of the 8th international conference...
by International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Zamojski, Wojciech
Published c2013
“...Advances in intelligent systems and computing...”Published c2013
Get full text
Livro
5
by International Conference on Web Information Systems and Technologies, Cordeiro, José, Filipe, Joaquim
Published 2010.
“... analysis of algorithm visualization use during collaborative learning - Modelling the B2C marketplace...”Published 2010.
Get full text
Livro
6
Published in 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...”Get full text
Livro
7
Published in 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...”Get full text
Livro
8
Published in Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
Subjects:
“...system construction and transformation techniques...”Get full text
Livro
9
Published in Lecture Notes in Computer Science
(2019)
Subjects:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”Get full text
Livro
10
Published in Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
Subjects:
“...system construction and transformation techniques...”Get full text
Livro
11
Published in Lecture Notes in Computer Science
(2019)
Subjects:
“...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis...”Get full text
Livro
12
Published in Lecture Notes in Computer Science
(2019)
Subjects:
“...Algorithms...”Get full text
Livro
13
Published in Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Subjects:
“...system construction and transforamtion techniques...”Get full text
Livro
14
Published in Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Subjects:
“...Computer Systems Organization and Communication Networks...”Get full text
Livro
15
Published in Lecture Notes in Computer Science
(2022)
Subjects:
“...system construction and transformation techniques...”Get full text
Livro
16
Published in Lecture Notes in Computer Science
(2022)
Subjects:
“...system construction and transformation techniques...”Get full text
Livro
17
Published in Lecture Notes in Computer Science
(2025)
Subjects:
“...software systems...”Get full text
Livro
18
Published in Lecture Notes in Computer Science
(2025)
Subjects:
“...software systems...”Get full text
Livro
19
Published in Lecture Notes in Computer Science
(2025)
Subjects:
“...software systems...”Get full text
Livro
20
Published in Lecture Notes in Computer Science
(2024)
Subjects:
“...software systems...”Get full text
Livro