[IEEE 39th Annual Symposium on Frequency Control - Philadelphia, Pennsylvania, USA (1985.05.29-1985.05.31)] 39th Annual Symposium on Frequency Control - [Front matter]
- 文件大小137.41KB
- 发表时间1985
- DOI10.1109/freq.1985.200805
[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