Search Results for Systems Theory.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(121)

Silhavy, Petr. editor.

(7)

Silhavy, Radek. editor.

(7)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(4)

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940

(3)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(3)

Finkbeiner, Bernd. editor.

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Heule, Marijn. editor. (orcid)0000-0002-5587-8801

(3)

Kovács, Laura. editor.

(3)

Legay, Axel. editor.

(3)

Majumdar, Rupak. editor.

(3)

Moreno-Díaz, Roberto. editor.

(3)

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124

(3)

Ali, Moonis. editor.

(2)

Amagasa, Toshiyuki. editor. (orcid)0000-0003-0595-2230

(2)

Ao, Sio-Iong. editor.

(2)

Barry, Chris. editor.

(2)

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637

(2)

Bouguettaya, Athman. editor.

(2)

Castillo, Oscar. editor.

(2)

Cellary, Wojciech. editor.

(2)

Chen, Lu. editor.

(2)

Conboy, Kieran. editor.

(2)

Dzerzhinskiy, Fedor. editor.

(2)

Gao, Yunjun. editor.

(2)

Hu, Jiangping. editor. (orcid)0000-0002-7559-8604

(2)

Huang, Xu. editor.

(2)

Huisman, Marieke. editor.

(2)

Jia, Weijia. editor.

(2)

Khalil, Ismail. editor. (orcid)0000-0003-2493-3414

(2)

Kleijn, Jetty. editor.

(2)

Klimenko, Andrey. editor.

(2)

Klimenko, Stanislav V. editor.

(2)

Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942

(2)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(2)

Krogstie, John. editor. (orcid)0000-0003-4830-1876

(2)

Kunčak, Viktor. editor.

(2)

Lang, Michael. editor.

(2)

Li, Qing. editor.

(2)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Manco, Giuseppe. editor.

(2)

Mokbel, Mohamed F. editor.

(2)

Proper, Henderik A. editor. (orcid)0000-0002-7318-2496

(2)

Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108

(2)

Strauss, Christine. editor. (orcid)0000-0003-0276-3610

(2)

Tabia, Karim. editor.

(2)

Tjoa, A Min. editor. (orcid)0000-0002-8295-9252

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Wang, Hua. editor.

(2)

Wang, Jianmin. editor.

(2)

Wojtkowski, Gregory. editor.

(2)

Wojtkowski, Wita. editor.

(2)

Zhang, Jin. editor. (orcid)0000-0002-7464-2247

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665

(2)

Zhang, Yanchun. editor.

(2)

Zhang, Zili. editor.

(2)

Zhou, Rui. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abraham, Erika. editor.

(1)

Aceto, Luca. editor.

(1)

Adler, Rasmus. editor.

(1)

Amine, Abdelmalek. editor.

(1)

Anslow, Craig. editor.

(1)

Arteconi, Alessia. editor.

(1)

Auer, Ekaterina. editor.

(1)

Aved, Alex. editor.

(1)

Awad, Ahmed. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Baier, Christel. editor.

(1)

Barrett, Clark. editor.

(1)

Barthe, Gilles. editor.

(1)

Batista, Thaís. author.

(1)

Bergenthum, Robin. editor.

(1)

Blasch, Erik. editor.

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bowman, Howard. author.

(1)

Broy, Manfred. editor.

(1)

Caires, Luís. editor. (orcid)0000-0002-3215-6734

(1)

Campos, Pedro. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523

(1)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(1)

Cavallaro, Lorenzo. editor.

(1)

Chaoui, Allaoua. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Chen, Min. author.

(1)

Chikhi, Salim. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Daembkes, Heinrich. editor.

(1)

Davies, Misty. editor.

(1)

Dazzi, Patrizio. author.

(1)

Dennedy, Michelle. author.

(1)

Desel, Jörg. editor.

(1)

Drossopoulou, Sophia. editor.

(1)

Eder, Johann. editor.

(1)

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270

(1)

England, Matthew. editor.

(1)

Erciyes, K. author.

(1)

Esparza, Javier. editor.

(1)

Felleisen, Matthias. editor.

(1)

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634

(1)

Finneran, Tom. author.

(1)

Flanagan, Cormac. editor.

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Fox, Jonathan. author.

(1)

Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391

(1)

Fraser, Gordon. editor. (orcid)0000-0002-4364-6595

(1)

Gama, João. editor.

(1)

Gardner, Philippa. editor.

(1)

Gavoille, Cyril. editor.

(1)

Geuvers, Herman. editor.

(1)

Gollmann, Dieter. editor.

(1)

Gomez, Rodolfo. author.

(1)

Gordon, Andrew D. editor.

(1)

Gorrieri, Roberto. author.

(1)

Grumberg, Orna. editor.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gutknecht, Jürg. author.

(1)

Halbwachs, Nicolas. editor.

(1)

Hasan, Osman. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Hawkins, Richard. editor. (orcid)0000-0001-7347-3413

(1)

Hermanns, Holger. editor.

(1)

Hinchey, Mike. editor.

(1)

Huth, Michael. editor.

(1)

Hönninger, Harald. editor.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Ilcinkas, David. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Isoaho, Jouni. editor.

(1)

Jacobs, Bart. editor.

(1)

Jantsch, Axel. editor.

(1)

Jorge, Joaquim. editor.

(1)

Kahsai, Temesghen. editor.

(1)

Kappel, Gerti. editor. (orcid)0000-0002-4758-9436

(1)

Kappel, Gertri. editor. (orcid)0000-0002-4758-9436

(1)

Kholladi, Mohamed Khireddine. editor.

(1)

Kim, Haeng Kon. editor.

(1)

Koutny, Maciej. editor.

(1)

Kowalczyk, Ryszard. editor.

(1)

Kowalewski, Stefan. editor.

(1)

Kuechler, Bill. editor.

(1)

Kurki-Suonio, Reino. author.

(1)

Kurosu, Masaaki. editor.

(1)

König, Barbara. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Leite, Jair. author.

(1)

Leporati, Alberto. editor. (orcid)0000-0002-8105-4371

(1)

Linden, Isabelle. editor.

(1)

Lopes Cardoso, Henrique. editor.

(1)

Löding, Christof. editor.

(1)

Mancini, Adriano. editor.

(1)

Marchetti-Spaccamela, Alberto. editor.

(1)

Mardare, Radu. editor.

(1)

Mercik, Jacek. editor.

(1)

Meyer, Bertrand. editor.

(1)

Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623

(1)

Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712

(1)

Nakajima, Shin. editor.

(1)

Nguyen, Ngoc Thanh. editor.

(1)

Nicola, Rocco. editor.

(1)

Nurmi, Jari. editor.

(1)

Oliveira, Eugénio. editor.

(1)

Olivetti, Nicola. editor.

(1)

Oquendo, Flavio. author.

(1)

Ordoñez, Hugo. editor.

(1)

Orłowski, Cezary. editor.

(1)

Palsberg, Jens. editor.

(1)

Papathanasiou, Jason. editor.

(1)

Patitz, Matthew J. editor.

(1)

Paule, Peter. editor.

(1)

Peffers, Ken. editor.

(1)

Penczek, Wojciech. editor.

(1)

Philippou, Anna. editor.

(1)

Phung-Duc, Tuan. editor.

(1)

Piterman, Nir. editor.

(1)

Ploskas, Nikolaos. editor.

(1)

Pohl, Klaus. editor.

(1)

Rabe, Florian. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Raskin, Jean-François. editor.

(1)

Rauh, Andreas. editor.

(1)

Ravela, Sai. editor.

(1)

Rehof, Jakob. editor.

(1)

Rothenberger, Marcus. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Sagiv, Mooly. editor.

(1)

Saidouni, Djamel Eddine. editor.

(1)

Salomaa, Arto. editor.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Sangchoolie, Behrooz. editor.

(1)

Santoro, Flavia. editor. (orcid)0000-0003-3421-1984

(1)

Schagaev, Igor. author.

(1)

Schleiss, Philipp. editor.

(1)

Segal, Michael. editor.

(1)

Seidl, Helmut. editor.

(1)

Language

(121)

Publication Date

-

(28)

(20)

(19)

(14)

(4)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(2)

(2)

Subject

Computer science.

(68)

Computer Communication Networks.

(40)

Computer networks .

(32)

Artificial intelligence.

(30)

Theory of Computation.

(26)

(23)

Computer Science Logic and Foundations of Programming.

(20)

Computer simulation.

(17)

Compilers (Computer programs).

(16)

Compilers and Interpreters.

(16)

Computer Modelling.

(15)

(14)

Formal Languages and Automata Theory.

(14)

Machine theory.

(14)

Application software.

(11)

Computational intelligence.

(11)

Computer and Information Systems Applications.

(11)

Database management.

(11)

Control Structures and Microprogramming.

(10)

Information storage and retrieval systems.

(10)

Microprogramming .

(10)

Computer programming.

(9)

Computer software.

(9)

(8)

Data structures (Computer science).

(8)

Operating Systems.

(8)

Operating systems (Computers).

(8)

Programming Techniques.

(8)

Information Storage and Retrieval.

(7)

Special Purpose and Application-Based Systems.

(7)

Computers, Special purpose.

(6)

Data Mining and Knowledge Discovery.

(6)

(6)

Computer Application in Administrative Data Processing.

(5)

Control engineering.

(5)

Information technology -- Management.

(5)

Information theory.

(5)

Programming languages (Electronic computers).

(5)

Computer Engineering and Networks.

(4)

Computer System Implementation.

(4)

Computer engineering.

(4)

Computer logic.

(4)

Computing Milieux.

(4)

Mathematical logic.

(4)

Natural Language Processing (NLP).

(4)

Natural language processing (Computer science).

(4)

(4)

Computer science -- Mathematics.

(3)

Computer systems.

(3)

Control and Systems Theory.

(3)

Data Structures and Information Theory.

(3)

Electronic digital computers -- Evaluation.

(3)

Human-computer interaction.

(3)

System Performance and Evaluation.

(3)

Systems theory.

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Automated Pattern Recognition.

(2)

(2)

Business information services.

(2)

Communications Engineering, Networks.

(2)

Computer Application in Social and Behavioral Sciences.

(2)

Computer network architectures.

(2)

Computer system failures.

(2)

Control, Robotics, Automation.

(2)

Data encryption (Computer science).

(2)

Data protection.

(2)

Electronic data processing -- Management.

(2)

(2)

(2)

IT in Business.

(2)

Logics and Meanings of Programs.

(2)

Management information systems.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical models.

(2)

Mathematics of Computing.

(2)

Pattern recognition systems.

(2)

(2)

Programming Language.

(2)

Programming Languages, Compilers, Interpreters.

(2)

Robotic Engineering.

(2)

Social sciences -- Data processing.

(2)

Systems engineering.

(2)

Telecommunication.

(2)

The Computing Profession.

(2)

Aerospace Technology and Astronautics.

(1)

Aerospace engineering.

(1)

Algorithm Analysis and Problem Complexity.

(1)

Applied Dynamical Systems.

(1)

Artificial intelligence -- Data processing.

(1)

(1)

Automotive engineering.

(1)

Biomedical engineering.

(1)

Computer Science, general.

(1)

Computer aided design.

(1)

Computer communication systems.

(1)

Computer hardware.

(1)

Computer programs -- Testing.

(1)

Computer system performance.

(1)

Computer vision.

(1)

Computers and Education.

(1)

(1)

(1)

Data Encryption.

(1)

(1)

Data and Information Security.

(1)

Data structures (Computer scienc.

(1)

Design and Analysis of Algorithms.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

(1)

Education -- Data processing.

(1)

Electrical engineering.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic data processing.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Hardware Performance and Reliability.

(1)

Human-machine systems.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Input-output equipment (Computers).

(1)

Interaction Design.

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical Software.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical physics.

(1)

(1)

Microcomputers.

(1)

Models of Computation.

(1)

Nonlinear theories.

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

Personal Computing.

(1)

Production engineering.

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Software Testing.

(1)

Systems and Data Security.

(1)

Theoretical, Mathematical and Computational Physics.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

121 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 11

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

49.

Cover image for Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Author

Bowman, Howard. author. Gomez, Rodolfo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-336-1

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107194

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

Author

Kurki-Suonio, Reino. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138956

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Sagiv, Mooly. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107380

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-032-00239-6

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 2

Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 2

Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 2

Author

Hu, Jiangping. editor. (orcid)0000-0002-7559-8604 Zhang, Jin. editor. (orcid)0000-0002-7464-2247 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-3161-2

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90900-9

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Author

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-94706-3

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

Author

Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-94569-4

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

Author

Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-94571-7

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Author

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-95497-9

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-73709-1

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 11

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11