MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Franz Huber" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

23 documents found, showing 1 through 10. Next 10 →

ATOM

Ranking Functions and Rankings on Languages
by Franz Huber — 2006 — Artificial Intelligence
…Contents Ranking Functions and Rankings on Languages Franz Huber, California Institute…
Cited by 2 (1 self) – Add To MetaCart

Specification Modules for Methodical System Development
by Franz Huber, Bernhard Schätz
…Specification Modules for Methodical System Development Franz Huber, Bernhard SchStz FakultSt f…
Add To MetaCart

Rapid Prototyping with AutoFocus
by Franz Huber, Bernhard Schätz — 1997 — FORMALE BESCHREIBUNGSTECHNIKEN FÜR VERTEILTE SYSTEME, GI/ITG FACHGESPRÄCH
…Rapid Prototyping with AUTOFOCUS Franz Huber Bernhard Schtz * Fakultt fr Informatik, Technische…
Cited by 7 (3 self) – Add To MetaCart

Systems Development with Java: Experiences from a Practical Project Course in Software Engineering
by Klaus Bergner, Franz Huber — 1997 — In Proceedings of the Eighth International Workshop on Software Technology
…@(email omitted); Franz Huber Technische Universitat Munchen, Institut fur Informatik, D-80290 Munchen, Germany huberf…
Cited by 3 (2 self) – Add To MetaCart

Model-Based Development of Embedded Systems
by Franz Huber, Jan Philipps, Oscar Slotosch, Validas Ag — 2002
…Model-Based Development of Embedded Systems Franz Huber, Jan Philipps, Oscar Slotosch Validas AG…
Add To MetaCart

Component-Oriented Redesign of the CASE-Tool AutoFocus
by Klaus Bergner, Franz Huber, Andreas Rausch, Marc Sihling — 1997
…Focus Klaus Bergner, Franz Huber, Andreas Rausch, Marc Sihling \Gamma\Delta\Theta \Xi\Pi TUM-I9752 Dezember…
Cited by 3 (3 self) – Add To MetaCart

Modeling Dynamic Component Interfaces
by Franz Huber, Andreas Rausch, Bernhard Rumpe — 1998 — In Proceedings of TOOLS’98
…Modeling Dynamic Component Interfaces Franz Huber, Andreas Rausch, Bernhard Rumpe email: fhuberf…
Cited by 9 (4 self) – Add To MetaCart

Software and system modeling based on a unified formal semantics
by Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies — 1998 — Requirements Targeting Software and Systems Engineering, International Workshop RTSE'97. Lecture Notes in Computer Science 1526
…Software and System Modeling Based on a Uni ed Formal Semantics Manfred Broy, Franz Huber, Barbara…
Cited by 3 (0 self) – Add To MetaCart

Model Checking and Random Competition - A Study Using the Model Checking Framework MIC
by Alexander K. Wißpeintner, Franz Huber, Jan Philipps — 2000
… K. Wipeintner, Franz Huber and Jan Philipps Institut fr Informatik, Technische Universitt Mnchen…
Cited by 1 (0 self) – Add To MetaCart

Traffic Lights - An AutoFocus Case Study
by Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig — 1998 — 1998 International Conference on Application of Concurrency to System Design
…Tra c Lights - An AutoFocus Case Study Franz Huber, Sascha Molterer, Bernhard Schatz, Oscar…
Cited by 6 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB