[IEEE Proceedings. 2004 IEEE International Conference on Field- Programmable Technology - Brisbane, NSW, Australia (2004.12.6-2004.12.8)] Proceedings 2004 IEEE International Conference on Field- Programmable Technology (IEEE Cat No 04EX921) FPT-04 - Proceedings - 2004 IEEE International Conference on Field-Programmable Technology - Title Page
- 文件大小22.33KB
- 发表时间2004
- DOI10.1109/fpt.2004.1393235
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) [Welcome]2012
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Scrum goes formal: Agile methods for safety-critical systemsWolff, Sune · 2012
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Contents [breaker page]2012
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Language engineering as an enabler for incrementally defined formal analysesRatiu, Daniel; Schaetz, Bernhard; Voelter, Markus; Kolb, Bernd · 2012
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Revisiting modal interface automataKrka, Ivo; Medvidovic, Nenad · 2012
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Formalisms and structures: Keynote abstractJackson, Michael · 2012
[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Making sense of recursion patternsBailes, Paul; Brough, Leighton · 2012