default search action

combined dblp search
author search
venue search
publication search

ask others

Mark L. McKelvin Jr.

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2012
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/itaero/McKelvinJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itaero/McKelvinJ12
Mark L. McKelvin Jr., Alejandro Jimenez:
Specification and Design of Electrical Flight System Architectures with SysML. Infotech@Aerospace 2012
2011
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/McKelvinGH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/McKelvinGH11
Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann:
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. PRDC 2011: 280-281

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2005
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/McKelvinSPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/McKelvinSPS05
Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli:
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. ECBS 2005: 229-235
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/McKelvinEPKS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/McKelvinEPKS05
Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli:
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. EMSOFT 2005: 237-246
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tapia/McKelvinWB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapia/McKelvinWB05
Mark L. McKelvin Jr., Mitchel L. Williams, Nina M. Berry:
Integrated radio frequency identification and wireless sensor network architecture for automated inventory management and tracking applications. Richard Tapia Celebration of Diversity in Computing Conference 2005: 44-47

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.