Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
3860613
|
Eric Verhulst
Raymond T. Boute
José Miguel Faria
Bernhard H.C. Sputh
Vitaliy Mezhuyev
|
9781441997364 |
2011 |
Contains images
|
|
Formal Engineering for Industrial Software Development: Using the SOFL Method
4807749
|
Shaoying Liu
|
9783662072875 |
2004 |
|
|
Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing #12)
3778817
|
Shi-Yu Huang
Kwang-Ting (Tim) Cheng
|
9781461556930 |
1998 |
|
|
Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings (Lecture Notes in Computer Science #5791)
4740416
|
Stephen H. Edwards
Gregory Kulczycki
|
9783642042119 |
2009 |
|
|
Formal Grammar: 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings (Lecture Notes in Computer Science #11668)
4835398
|
Raffaella Bernardi
Greg Kobele
Sylvain Pogodalla
|
9783662596487 |
2019 |
Contains images
|
|
Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings (Lecture Notes in Computer Science #9804)
2889320
|
Annie Foret
Glyn Morrill
Reinhard Muskens
Rainer Osswald
Sylvain Pogodalla
|
9783662530429 |
2016 |
Contains images
|
|
Formal Grammar: 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10686)
5929487
|
Annie Foret
Reinhard Muskens
Sylvain Pogodalla
|
9783662563434 |
2018 |
Contains images
|
|
Formal Grammar: 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers (Lecture Notes in Computer Science #5591)
4795999
|
Philippe De Groote
Markus Egg
Laura Kallmeyer
|
9783642201691 |
2011 |
|
|
Formal Grammar: 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 (Lecture Notes in Computer Science #7395)
4752263
|
Philippe De Groote
Mark-Jan Nederhof
|
9783642320248 |
2012 |
|
|
Formal Grammar: 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings (Lecture Notes in Computer Science #8612)
2878056
|
Glyn Morrill
Reinhard Muskens
Rainer Osswald
Frank Richter
|
9783662441213 |
2014 |
|
|
Formal Grammar: 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings (Lecture Notes in Computer Science #8036)
4626079
|
Glyn Morrill
Mark-Jan Nederhof
|
9783642399985 |
2013 |
|
|
Formal Grammar 2018: 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings (Lecture Notes in Computer Science #10950)
5924883
|
Annie Foret
Greg Kobele
Sylvain Pogodalla
|
9783662577844 |
2018 |
Contains images
|
|
Formal Languages and Applications (Studies in Fuzziness and Soft Computing #148)
4697784
|
Carlos Martin-Vide
Victor Mitrana
Gheorghe P 259
Un
|
9783540398868 |
2004 |
|
|
Formal Languages and Compilation (Texts in Computer Science)
2524304
|
Luca Breveglieri
Angelo Morzenti
Stefano Crespi Reghizzi
|
9783030048792 |
2019 |
Contains images
|
|
Formal Languages and Compilation (Texts in Computer Science)
4732539
|
Stefano Crespi Reghizzi
|
9781848820500 |
2009 |
|
|
Formal Languages and Computation: Models and Their Applications
2335034
|
Alexander Meduna
|
9781466513495 |
2014 |
|
|
Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words
2994368
|
Michel Rigo
|
9781119008224 |
2014 |
Contains images
|
|
Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words
3007107
|
Michel Rigo
|
9781119008217 |
2014 |
|
|
Formal Methods: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science #14414)
5794731
|
Haniel Barbosa
Yoni Zohar
|
9783031493423 |
2024 |
Contains images
|
|
Formal Methods: State Of The Art And New Directions
2789258
|
Paul Boca
Jonathan P. Bowen
Jawed Siddiqi
|
9781848827363 |
2010 |
Contains images
|
|
Formal Methods: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science #8941)
2826035
|
Christiano Braga
Narciso Martí-Oliet
|
9783319150758 |
2015 |
|
|
Formal Methods: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected (Lecture Notes in Computer Science #4346)
4632877
|
Lubos Brim
Boudewijn Haverkort
Martin Leucker
Jaco Van De Pol
|
9783540709527 |
2007 |
|
|
Formal Methods: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science #13130)
4346062
|
Sérgio Campos
Marius Minea
|
9783030921378 |
2021 |
Contains images
|
|
Formal Methods: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Lecture Notes in Computer Science #12475)
3871873
|
Gustavo Carvalho
Volker Stolz
|
9783030638825 |
2020 |
Contains images
|
|
Formal Methods: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings (Lecture Notes in Computer Science #10623)
2254704
|
Simone Cavalheiro
José Fiadeiro
|
9783319708485 |
2017 |
Contains images
|
|