[IEEE 12th Annual Symposium on Frequency Control - Asbury Park, NJ, USA (1958.05.6-1958.05.8)] 12th Annual Symposium on Frequency Control - [Front matter]
- 文件大小547.05KB
- 发表时间1958
- DOI10.1109/freq.1958.199328
[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